Formal methods - PDFSEARCH.IO - Document Search Engine

Formal methods
Results: 2204

#	Item
481	UTP Theories of Undefinedness Jim Woodcock & Victor Bandur University of York UTP Symposium, Paris: 27 August Add to Reading List Source URL: utp12.lri.fr Language: English - Date: 2012-08-27 02:26:18 Computability theory Formal methods Model theory Models of computation Lambda calculus Predicate Interpretation Function Primitive recursive function Logic Mathematical logic Mathematics
482	IN PARTNERSHIP WITH: Université Paris-Sud (Paris 11) Activity ReportProject-Team TOCCATA Add to Reading List Source URL: raweb.inria.fr Language: English - Date: 2015-03-19 11:15:16 Automated theorem proving Formal methods Logic in computer science Artificial intelligence Formal verification Coq Proof assistant KeY Automated reasoning Theoretical computer science Mathematics Applied mathematics
483	Linear Arithmetic with Stars Ruzica Piskac and Viktor Kuncak School of Computer and Communication Sciences, EPFL, Switzerland Abstract. We consider an extension of integer linear arithmetic with a “star” operator tak Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2008-11-06 07:52:12 Linear algebra Boolean algebra Electronic design automation Formal methods NP-complete problems Multiset Boolean satisfiability problem Vector space Theorems and definitions in linear algebra Mathematics Algebra Theoretical computer science
484	Copyright © 2006, PerfX and Performance Engineering Services. All rights reserved. Appears in Proc. CMGFive Steps to Establish Software Performance Engineering in Your Organization Connie U. Smith, Ph.D. Add to Reading List Source URL: www.spe-ed.com Language: English - Date: 2007-04-11 12:41:37 Computing Software Cell Performance engineering Software development process IBM Rational Unified Process Software development methodology Modeling language Software performance testing Software development Formal methods Software optimization
485	Decision methods for arithmetic Third summer school on formal methods Leonardo de Moura Microsoft Research Symbolic Reasoning Add to Reading List Source URL: leodemoura.github.io Language: English - Date: 2015-05-19 13:22:05 Propositional calculus Theoretical computer science Rules of inference Logic programming Resolution Literal Clause Automated theorem proving Logic Mathematical logic
486	DraftVital Signs Indicators Framework: Structure for Methods Development, Analysis, and Reporting This is the first report on our efforts to organize the indicators in a formal conceptual framework that is u Add to Reading List Source URL: gorgevitalsigns.org Language: English - Date: 2011-01-24 12:32:55 Environmentalism Sustainability Earth Sustainable development Environmental indicator Community indicators Environment Environmental economics Environmental social science
487	Effective Typestate Verification in the Presence of Aliasing STEPHEN J. FINK and ERAN YAHAV IBM T. J. Watson Research Center and NURIT DOR1 Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2010-01-27 15:57:10 Logic in computer science Formal methods Formal verification Pointer analysis Shape analysis Pointer The Verifier Abstract interpretation IP Theoretical computer science Applied mathematics Static program analysis
488	Motivation Specification Verification Refinement A Formal Specification of the MIDP 2.0 Security Model 1 ´ Add to Reading List Source URL: software.imdea.org Language: English - Date: 2013-03-13 12:33:24 Formal specification Specification Technology Management Form Java specification requests Formal methods Mobile Information Device Profile
489	dD5.2 Detailed specification and development of demonstration activities Add to Reading List Source URL: grid4eu.blob.core.windows.net Language: English - Date: 2015-03-13 12:33:35 Software development process Software engineering Specification CEZ Group Formal specification Technology Ethology Formal methods Science Methodology
490	Symbolic Resource Bound Inference for Functional Programs Ravichandhran Madhavan1 and Viktor Kuncak2 1 2 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2014-05-24 11:45:01 Formal methods Electronic design automation Logic in computer science NP-complete problems Model theory Function Boolean satisfiability problem Structure Parameter Mathematics Theoretical computer science Mathematical logic

UPDATE